TreeView Knowledge Base Browser - telephoneNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

telephoneNumber

Sigma KEE - telephoneNumber

telephoneNumber

appearance as argument number 1

(documentation telephoneNumber EnglishLanguage "(%&telephoneNumber ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted")	Mid-level-ontology.kif 24987-24988
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 24985-24985	Le nombre 1 argument de telephoneNumber est une instance de TelecomNumber
(domain telephoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 24986-24986	Le nombre 2 argument de telephoneNumber est une instance de AutonomousAgent
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 24984-24984	telephoneNumber est une instance de relation asym�trique
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 24983-24983	telephoneNumber est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4766-4766
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4765-4765
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2")	domainEnglishFormat.kif 4764-4764
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25019-25019	homePhoneNumber est une sous-relation de telephoneNumber
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25119-25119	mobilePhoneNumber est une sous-relation de telephoneNumber
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 24999-24999	personalPhoneNumber est une sous-relation de telephoneNumber
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25049-25049	workPhoneNumber est une sous-relation de telephoneNumber
(termFormat ChineseLanguage telephoneNumber "电话号码")	domainEnglishFormat.kif 57320-57320
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼")	domainEnglishFormat.kif 57319-57319
(termFormat EnglishLanguage telephoneNumber "telephone number")	domainEnglishFormat.kif 57318-57318

antecedent

(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE)))	Mid-level-ontology.kif 25034-25043	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
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25132-25139	Entit� est une instance de MobileCellPhone deviceTelecomNumber entit� and entit� telephoneNumber entit� and entit� pendant position temporel mobilePhoneNumber entit� and entit� pendant position temporel
(=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely)))))	Mid-level-ontology.kif 25092-25113	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
(=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT))	Mid-level-ontology.kif 24990-24992	telephoneNumber TelecomNumber and AutonomousAgent siteForContact TelecomNumber and AutonomousAgent

consequent

(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25006-25013	Entit� est une instance de Telephone entit� poss�de entit� deviceTelecomNumber entit� and entit� pendant position temporel telephoneNumber entit� and entit� pendant position temporel
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Local)) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (telephoneNumber ?TEL1 ?ORIGIN) (telephoneNumber ?TEL2 ?DEST) (telecomAreaCode ?CODE ?TEL1) (telecomAreaCode ?CODE ?TEL2))))	Mid-level-ontology.kif 27095-27106	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