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 2904-2908
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 2903-2903 Telephone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2902-2902 Telephone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23925-23925 Telephone is a subclass of TelephonyDevice

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24409-24409 FixedPhone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24412-24412 Mobile cell phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25643-25643 TDDPhone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57257-57257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57256-57256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57255-57255

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


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

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 2917-2922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3589-3600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26397-26408


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