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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FaxMachine

Sigma KEE - FaxMachine
FaxMachine(fax machine)
facsimile, facsimile_machine, fax

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2997-3003
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1111-1111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2996-2996 Fax machine is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2995-2995 Fax machine is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2993-2993 Fax machine is a subclass of telephony device

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23422-23422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23421-23421
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23420-23420

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25167-25172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2986-2991


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