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 可通行的交通类型 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2605-2605 可通行的交通类型 的 2 数量 是 自身连接物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2603-2603 可通行的交通类型 是 二元谓语 的 instance

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