Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  trafficableForTrafficType

Sigma KEE - trafficableForTrafficType
trafficableForTrafficType

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2606-2608
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2604-2604 The number 1 argument of trafficable for traffic type is an instance of object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2605-2605 The number 2 argument of trafficable for traffic type is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2603-2603 trafficable for traffic type is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2531-2531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2530-2530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2529-2529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58754-58754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58753-58753
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58752-58752

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1683-1688
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2610-2615
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2617-2622

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2624-2626
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1514-1516


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