Telephoning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Telephoning

Telephoning

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2954-2957
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 312-312
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2952-2952	Telephoning est une sous-classe de communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57334-57334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57333-57333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57332-57332

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2959-2964	Processus est une instance de Telephoning objet objet est une instance de Telephone objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2966-2974	Processus est une instance de Telephoning processus AutonomousAgent processus est une instance de Speaking processus est un sous-processus de processus processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25150-25171	TelecomNumber est une instance de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent est une instance de organisation TelecomNumber a pour but entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent l'argument entit� entit� est une instance de communication TelecomNumber est un instrument pour entit� le d�but de temps d'existence de entit� est d�but de immediatement apr�s temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 6 nombre r�el est moins que 18 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 18 nombre r�el est moins que 6 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26315-26323	Physique est une instance de TDDPhone physique a pour but entit� entit� entit� est une instance de Telephoning physique est un instrument pour entit� entit� est un agent de entit� Deaf est un attribut de entit�

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