Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  frozenFoodCompartmentVolume
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Noun Word) | Merge.kif 15540-15540 | Noun is a subclass of word |
| (documentation Noun EnglishLanguage "One of the parts of speech. The Class of Words that conventionally denote Objects.") | Merge.kif 15542-15543 | Noun is a subclass of word |
| (externalImage Noun "http://upload.wikimedia.org/wikipedia/commons/1/12/ The_Thinker_close.jpg") | pictureList.kif 6736-6736 | Noun is a subclass of word |
| (externalImage Noun "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Clones_id.jpg") | pictureList.kif 7458-7458 | Noun is a subclass of word |
| appearance as argument number 2 |
|
|
| (partition Word Noun Verb Adjective Adverb ParticleWord) | Merge.kif 15541-15541 | Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word |
| (termFormat EnglishLanguage Noun "noun") | english_format.kif 1274-1274 | Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word |
| appearance as argument number 3 |
|
|
| (domain nounGender 1 Noun) | Mid-level-ontology.kif 21217-21217 | The number 1 argument of noun gender is an instance of noun |
| consequent |
|
|
| (=> (instance ?PHRASE NounPhrase) (exists (?NOUN) (and (instance ?NOUN Noun) (part ?NOUN ?PHRASE)))) |
Merge.kif 15633-15638 | If X is an instance of noun phrase, then there exists Y such that Y is an instance of noun and Y is a part of X |
|
