TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1860-1862
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2344-2347
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2342-2342	Case role is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2340-2340	Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2341-2341	Case role is a subclass of inheritable relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 384-384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 383-383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 382-382
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4123-4123	account used is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2371-2371	agent is an instance of case role
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1649-1649	bid amount is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22916-22916	arrested is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 269-269	arresting officer is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12838-12838	attends is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 487-487	attorney is an instance of case role
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1888-1888	broker is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22315-22315	cargo is an instance of case role
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 205-205	catalyst is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10860-10860	changes location is an instance of case role
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 199-199	computer running is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19048-19048	contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22865-22865	controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22971-22971	conveyance is an instance of case role
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1880-1880	data processed is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15707-15707	defendant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 323-323	defense lawyer is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2382-2382	destination is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6443-6443	detainee is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16662-16662	direction is an instance of case role
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1911-1911	eCommerceSite is an instance of case role

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3822-3822	The number 2 argument of capability is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Dining.kif 871-871	The number 2 argument of capable during is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2695-2695	The number 2 argument of capable at location is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22681-22681	The number 2 argument of plays role in event is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22714-22714	The number 2 argument of plays role in event of type is an instance of case role

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22695-22701	If a case role a process and an object and the case role is an instance of case role and the process is an instance of process and the object is an instance of object, then the object plays role in event the case role for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9503-9509	If an entity is an instance of case role and another entity is an instance of object and the entity a physical and the other entity, then there exists a time point such that the place where the physical was at the time point and the other entity is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3829-3835	If a case role is an instance of case role and the case role an entity and an object and the entity is an instance of a kind of process and a kind of process is a subclass of process, then the object is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2699-2708	If a kind of process is a subclass of process and another process is an instance of a kind of process and the other process is located at 2 and a case role is an instance of case role and an object is an instance of object and a region is an instance of geographic area and the case role the other process and the object, then the kind of process capable at location the case role for the object with the region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2367-2369	If a relation is an instance of case role, then the relation is a subrelation of involved in event

consequent

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

Media.kif 119-121

A relation is a subrelation of involved in event if and only if the relation is an instance of case role

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: