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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AH1

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 6039-6039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6038-6038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6037-6037
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 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