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

Formal Language: 



KB Term:  Term intersection
English Word: 

  personTransportCapability

Sigma KEE - personTransportCapability
personTransportCapability

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 74-76
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 71-71 The number 1 argument of person transport capability is an instance of passenger vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 72-72 The number 2 argument of person transport capability is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 68-68 person transport capability is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 69-69 person transport capability is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1955-1955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1954-1954
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2033-2033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1953-1953
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45342-45342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45341-45341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45340-45340

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1686-1688
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1882-1887
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1812-1817
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1566-1568
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1986-1988


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