TreeView Knowledge Base Browser - capableAtLocation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

capableAtLocation

Sigma KEE - capableAtLocation

capableAtLocation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2683-2686
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2688-2688	Le nombre 2 argument de capableAtLocation est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2689-2689	Le nombre 3 argument de capableAtLocation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2690-2690	Le nombre 4 argument de capableAtLocation est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2687-2687	Le nombre 1 argument de capableAtLocation est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2682-2682	capableAtLocation est une instance de pr�dicat quaternaire

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 13026-13026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13025-13025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13024-13024

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	Processus est une sous-classe de processus processus est une instance de processus eventLocated processus and r�gion r�le d�pendant du cas est une instance de r�le d�pendant du cas objet est une instance de objet r�gion est une instance de secteur g�ographique r�le d�pendant du cas processus and objet capableAtLocation processus, r�le d�pendant du cas, objet and r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	trafficableForTrafficType r�gion and objet en une partie objet en une partie est une sous-classe de v�hicule de transport objet est une instance de objet en une partie capableAtLocation transporter, instrument, objet and r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	trafficableForTrafficType r�gion and objet en une partie objet en une partie est une sous-classe de AutonomousAgent objet est une instance de objet en une partie capableAtLocation Translocation, agent, objet and r�gion

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