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 24988-24989
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 24986-24986	O argumento numero 1 de telephoneNumber e' uma instancia de TelecomNumber
(domain telephoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 24987-24987	O argumento numero 2 de telephoneNumber e' uma instancia de AutonomousAgent
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 24985-24985	telephoneNumber e' uma instancia de Relacao Assimetrica
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 24984-24984	telephoneNumber e' uma instancia de Predicado Binario

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 25020-25020	homePhoneNumber e' uma sub-relacao de telephoneNumber
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25120-25120	mobilePhoneNumber e' uma sub-relacao de telephoneNumber
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25000-25000	personalPhoneNumber e' uma sub-relacao de telephoneNumber
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25050-25050	workPhoneNumber e' uma sub-relacao 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 25035-25044	Entidade e' uma instancia de Humano deviceTelecomNumber Entidade and Entidade telephoneNumber Entidade and Entidade Entidade e' situado em Entidade Entidade e' uma instancia de Residence vale durante Posicao Temporal Entidade vive em Entidade vale durante Posicao Temporal
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25133-25140	Entidade e' uma instancia de MobileCellPhone deviceTelecomNumber Entidade and Entidade telephoneNumber Entidade and Entidade vale durante Posicao Temporal mobilePhoneNumber Entidade and Entidade vale durante Posicao Temporal
(=> (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 25093-25114	TelecomNumber e' uma instancia de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao TelecomNumber tem por fim Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent o argumento Entidade Entidade e' uma instancia de Communicacao TelecomNumber e' um instrumento para Entidade o comeco de tempo de existencia de Entidade e' igual a o comeco de imediatemente apos tempo de existencia de Entidade tem a forca modal de Likely
(=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT))	Mid-level-ontology.kif 24991-24993	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 25007-25014	Entidade e' uma instancia de Telephone Entidade possui Entidade deviceTelecomNumber Entidade and Entidade vale durante Posicao Temporal telephoneNumber Entidade and Entidade vale durante Posicao Temporal
(=> (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 27107-27118	Objeto e' uma instancia de TelephoneCommunication Local e' um atributo de Objeto TelecomNumber TelecomNumber, AutonomousAgent, AutonomousAgent and Sequencia Simbolica Objeto tem como origem AutonomousAgent Objeto termina em AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telecomAreaCode Sequencia Simbolica and TelecomNumber telecomAreaCode Sequencia Simbolica 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