Searched defs:definition (Results 1 - 4 of 4) sorted by relevance
| /ontohub/app/serializers/ | ||
| H A D | axiom_serializer.rb | 12 attributes :name, :definition, :imported 24 def definition method in class:AxiomSerializer |
| H A D | sentence_serializer.rb | 12 attributes :name, :definition, :imported 24 def definition method in class:SentenceSerializer |
| H A D | theorem_serializer.rb | 13 :definition, 25 def definition method in class:TheoremSerializer |
| /ontohub/app/serializers/ontology_member/ | ||
| H A D | symbol_serializer.rb | 12 attributes :name, :definition, :kind, :label, :comment 20 def definition method in class:OntologyMember |
Completed in 170 milliseconds