TelephoneCommunication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 是 ArtifactMediatedCommunication 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27071-27071	DirectDialTelephoneCommunication 是 TelephoneCommunication 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27040-27040	OperatorAssistedTelephoneCommunication 是 TelephoneCommunication 的 subclass
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	如果客体是 TelephoneCommunication 的 instance 和 Domestic 是那个客体的 attribute，然后有存在另一个客体，物理， and 和第三客体这样那个另外客体是那个客体的源头和那个客体在那个物理结束和那个另外客体是 located 在那个第三客体和那个物理是 located 在那个第三客体和那个第三客体是国家的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27142-27154	如果客体是 TelephoneCommunication 的 instance 和 International 是那个客体的 attribute，然后有存在另一个客体，物理,，，第三客体， and 和第四客体这样那个另外客体是那个客体的源头和那个客体在那个物理结束和那个另外客体是 located 在那个第三客体和那个物理是 located 在那个第四客体和那个第三客体是国家的 instance 和那个第四客体是国家的 instance 和那个第三客体不 equal 那个第四客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27107-27118	如果客体是 TelephoneCommunication 的 instance 和 Local 是那个客体的 attribute，然后有存在 TelecomNumber，另一个 TelecomNumber,，，施事体,，，另一个施事体， and 和符号串这样那个施事体是那个客体的源头和那个客体在那个另外施事体结束和那个 TelecomNumber 是那个施事体的 telephone number 和那个另外 TelecomNumber 是那个另外施事体的 telephone number 和 area code 在那个 TelecomNumber 是那个符号串和 area code 在那个另外 TelecomNumber 是那个符号串
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27027-27038	如果过程是 TelephoneCommunication 的 instance，然后有存在施事体，另一个施事体,，， ContactSite， and 和另一个 ContactSite 这样那个 ContactSite 是那个过程的源头和那个过程在那个另外 ContactSite 结束和那个施事体能是 contacted 在那个 ContactSite 和那个另外施事体能是 contacted 在那个另外 ContactSite 和那个施事体是电话的 instance 和那个另外施事体是电话的 instance 和那个施事体是导致那个过程的 instrument 和那个另外施事体是导致那个过程的 instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27078-27089	如果实体是 DirectDialTelephoneCommunication 的 instance，然后不存在物理这样那个物理是人类的 instance 和那个物理的目的是有存在另一个实体这样那个物理是那个另外实体的 agent 和那个另外实体%n是那个实体的subProcess 和那个另外实体是 TelephoneCommunication 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27095-27100	如果实体是 VoiceMail 的 instance，然后有存在过程这样那个过程是 TelephoneCommunication 的 instance 和那个实体是那个过程的 patient

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