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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Telephone
Telephone(telephone)
extension, extension_phone, pay-phone, pay-station, phone, radiophone, radiotelephone, speakerphone, telephone, telephone_extension, telephone_set, wireless_telephone

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2946-2950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 774-774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2945-2945 Telephone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2944-2944 Telephone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24631-24631 Telephone is a subclass of telephony device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25117-25117 Fixed phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25120-25120 Mobile cell phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25127-25127 Satellite phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26310-26310 TDD phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57292-57292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57291-57291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57290-57290

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3681-3681 The number 2 argument of phone number is an instance of telephone

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


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

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 40-45
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2959-2964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3630-3641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27060-27071


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