Entity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 816-817
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 815-815	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 787-787	The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3228-3228	The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3208-3208	The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2980-2980	The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2876-2876	The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1668-1668	Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 831-831	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.	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 786-786	The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2934-2934	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 27530-27530	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 27541-27541	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 30250-30250	The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2266-2266	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 18451-18451	The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3992-3992	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 17532-17532	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 17511-17511	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 1080-1080	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 27513-27513	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 27525-27525	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 13964-13964	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.	Merge.kif 4014-4014	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 2445-2445	The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 368-368	The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5409-5409	The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 676-676	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 380-380	The number 2 argument of format is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3271-3271	The number 2 argument of full name is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3285-3285	The number 2 argument of full name index order 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 827-829	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 824-825

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

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: