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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryArtifact
MilitaryArtifact(military artifact)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19381-19382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8595-8595
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9424-9424
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9423-9423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19380-19380 Military artifact is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17100-17100 Military installation is a subclass of military artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9608-9608 Military surplus is a subclass of military artifact
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37562-37562 Military surplus is a subclass of military artifact
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37561-37561 Military surplus is a subclass of military artifact
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37560-37560 Military surplus is a subclass of military artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19384-19390


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