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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TelephoneCommunication

 Sigma KEE - TelephoneCommunication
TelephoneCommunication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27023-27024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27022-27022 TelephoneCommunication est une sous-classe de ArtifactMediatedCommunication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27071-27071 DirectDialTelephoneCommunication est une sous-classe de TelephoneCommunication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27040-27040 OperatorAssistedTelephoneCommunication est une sous-classe de TelephoneCommunication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27025-27025

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27125-27135
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27142-27154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27107-27118
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27027-27038

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27078-27089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27095-27100


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