TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 810-811
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 118-119
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 137-138
No TPTP formula. May not be expressible in strict first order.	Merge.kif 809-809	Entity is exhaustively partitioned into physical and abstract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 781-781	The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3240-3240	The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3220-3220	The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2992-2992	The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3046-3046	The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1679-1679	Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 825-825	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 813-813	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	english_format.kif 828-828	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	french_format.kif 489-489	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 23-23	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 25-25	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2174-2174	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 441-441	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 26-26	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 56-56	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 315-315	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 510-510	Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 26-26	Physical is a subclass of entity

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 780-780	The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2946-2946	The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29133-29133	The number 2 argument of abbreviation is an instance of entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 852-852	The number 1 argument of accessible from menu is an instance of entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1138-1138	The number 1 argument of accessible from menu item is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29144-29144	The number 2 argument of acronym is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31853-31853	The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2268-2268	The number 3 argument of code mapping is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18553-18553	The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4008-4008	The number 1 argument of confers norm is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17630-17630	The number 2 argument of confers obligation is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17609-17609	The number 2 argument of confers right is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1082-1082	The number 1 argument of contest entry is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29116-29116	The number 2 argument of conventional long name is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29128-29128	The number 2 argument of conventional short name is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15085-15085	The number 2 argument of creator is an instance of entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2655-2655	The number 1 argument of BinaryPredicate is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 287-287	The number 2 argument of defense lawyer is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4030-4030	The number 1 argument of deprives norm is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2456-2456	The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 362-362	The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5439-5439	The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 670-670	The number 1 argument of external image is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 374-374	The number 2 argument of format is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16091-16091	The number 2 argument of former name is an instance of entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2572-2577	If an organization is a business unit of a business, then there exists an entity such that the entity is an instance of entity and the organization is interested in the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 821-823	If a class is an instance of class, then the class is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2618-2628	If a collection is an instance of cross_functional team, then there exists an entity such that the entity is an instance of entity and for all a cognitive agent if the cognitive agent is an instance of human and the cognitive agent is a member of the collection, then the cognitive agent is interested in the entity

statement

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

Merge.kif 818-819

There exists an entity such that the entity is an instance of entity

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: