Word - Sigma 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 1540-1540
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 6983-6983
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15387-15387	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 1538-1538	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 15395-15395	Adjective is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15399-15399	Adverb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15386-15386	Noun is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Media.kif 3076-3076	Palindrome is a subclass of word
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15403-15403	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 15391-15391	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 846-846	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	english_format.kif 894-894	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	french_format.kif 522-522	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 53-53	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 56-56	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2207-2207	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 474-474	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 58-58	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 89-89	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 348-348	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 543-543	Verb is a subclass of word
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 57-57	Verb is a subclass of word

appearance as argument number 3

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

Media.kif 3036-3036

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 21031-21041	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 15432-15437	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 21047-21052	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 15191-15197	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 15425-15430	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 15444-15452	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 13875-13880	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: