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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AttachingDevice

 Sigma KEE - AttachingDevice
AttachingDevice

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3630-3631
No TPTP formula. May not be expressible in strict first order. Merge.kif 16035-16036
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1039-1039
No TPTP formula. May not be expressible in strict first order. Merge.kif 16034-16034 AttachingDevice est une sous-classe de appareil

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4239-4239 Anchor est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 4168-4168 Bolt est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4262-4262 Button est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4272-4272 Clamp est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8897-8897 Glue est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 4190-4190 MechanicalNut est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4222-4222 Nail est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4189-4189 Screw est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4226-4226 Tape est une sous-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8970-8970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8969-8969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8968-8968

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4935-4950
No TPTP formula. May not be expressible in strict first order. Merge.kif 16038-16043

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4285-4293
No TPTP formula. May not be expressible in strict first order. Cars.kif 4158-4166


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