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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AH1
AH1(A h1)

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1891-1896
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1889-1889 A h1 is a subclass of helicopter
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1890 A h1 is a subclass of military vehicle

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6030-6030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6029-6029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6028-6028
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2091-2091

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1900-1912
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1916-1922
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1926-1931
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1935-1941


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