TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1681-1681
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1545-1545
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 321-322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6984-6984
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15249-15249	Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1543-1543	Word is a subclass of linguistic expression

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15257-15257	Adjective is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15261-15261	Adverb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15248-15248	Noun is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Media.kif 3092-3092	Palindrome is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15265-15265	Particle word is a subclass of word
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2504-2504	Search term is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15253-15253	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 846-846
No TPTP formula. May not be expressible in strict first order.	english_format.kif 894-894
No TPTP formula. May not be expressible in strict first order.	french_format.kif 522-522
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 53-53
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 56-56
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2207-2207
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 474-474
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 58-58
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 89-89
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 543-543
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 57-57

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 3052-3052

The number 2 argument of spelling in language is an instance of word

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19443-19453	If stressed is an attribute of an object and another object is an instance of word and the object is a part of the other object, then there doesn't exist the object2 such that the object2 is an instance of syllable and the object2 is a part of the other object and stressed is an attribute of the object2 and the object2 is not equal to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15294-15299	If an object is an instance of word, then there exists another object such that the other object is a part of the object and the other object is an instance of morpheme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19459-19464	If an object is an instance of word, then there exists another object such that the other object is an instance of syllable and the other object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13802-13808	If a proposition is an instance of lyrical content, then there exist a content bearing physical and another proposition such that the content bearing physical is an instance of word and the content bearing physical contains information the other proposition and the other proposition is a sub-proposition of the proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15287-15292	If an object is an instance of morpheme, then there exists another object such that the other object is an instance of word and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15306-15314	If an object is an instance of phrase, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of word and the third object is an instance of word and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13736-13741	If a process is an instance of singing, then there exists an entity such that the entity is a patient of the process and the entity is an instance of word

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: