TreeView Knowledge Base Browser - telephoneNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - telephoneNumber

telephoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25045-25046
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25043-25043	Le nombre 1 argument de telephoneNumber est une instance de TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25044-25044	Le nombre 2 argument de telephoneNumber est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25042-25042	telephoneNumber est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25041-25041	telephoneNumber est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4766-4766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4765-4765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4764-4764
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25077-25077	homePhoneNumber est une sous-relation de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25177-25177	mobilePhoneNumber est une sous-relation de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25057-25057	personalPhoneNumber est une sous-relation de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25107-25107	workPhoneNumber est une sous-relation de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57322-57322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57321-57321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57320-57320

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25101	Entit� est une instance de humain deviceTelecomNumber entit� and entit� telephoneNumber entit� and entit� entit� est situ� � entit� entit� est une instance de Residence pendant position temporel entit� vie � entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25190-25197	Entit� est une instance de MobileCellPhone deviceTelecomNumber entit� and entit� telephoneNumber entit� and entit� pendant position temporel mobilePhoneNumber entit� and entit� pendant position temporel
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.	Mid-level-ontology.kif 25048-25050	telephoneNumber TelecomNumber and AutonomousAgent siteForContact TelecomNumber and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25064-25071	Entit� est une instance de Telephone entit� poss�de entit� deviceTelecomNumber entit� and entit� pendant position temporel telephoneNumber entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27140-27151	Objet est une instance de TelephoneCommunication Local est un attribut de objet TelecomNumber TelecomNumber, AutonomousAgent, AutonomousAgent and cha�ne sympbolique objet a pour origine AutonomousAgent objet aboutit � AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telecomAreaCode cha�ne sympbolique and TelecomNumber telecomAreaCode cha�ne sympbolique and TelecomNumber

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