capableAtLocation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - capableAtLocation

capableAtLocation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3214-3217
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3219-3219	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.	Transportation.kif 3220-3220	The number 3 argument of capable at location is an instance of object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3221-3221	The number 4 argument of capable at location is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3218-3218	The number 1 argument of capable at location is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3213-3213	capable at location is an instance of quaternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 348-348
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 347-347
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 346-346
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13041-13041
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13040-13040
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13039-13039

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3223-3232	If a kind of process is a subclass of translocation and another process is an instance of a kind of process and the other process is located at a region and a case role is an instance of case role and an object is an instance of object and the region is an instance of geographic area and the object is capable of doing the kind of process as a the case role, 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.	Transportation.kif 3141-3146	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of transportation device and an object is an instance of the kind of self connected object, then transportation capable at location instrument for the object with the region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3148-3153	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of agent and an object is an instance of the kind of self connected object, then translocation capable at location agent for the object with the region
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2773-2781	If a physical is an instance of military airport, then the physical has the purpose there exists an entity such that the entity is an instance of military aircraft and taking off capable at location origin for the entity with the physical or landing capable at location destination for the entity with the physical

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