telephoneNumber - Sigma Knowledge base Browser

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

(documentation telephoneNumber EnglishLanguage "(%&telephoneNumber ?NUMBER ?AGENT) means that ?Agent identifies a TelecomeNumber at which ?Agent can be contacted")	Mid-level-ontology.kif 22920-22921
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 22918-22918	The number 1 argument of telephone number is an instance of TelecomNumber
(domain telephoneNumber 2 Agent)	Mid-level-ontology.kif 22919-22919	The number 2 argument of telephone number is an instance of agent
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 22917-22917	telephone number is an instance of asymmetric relation
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 22916-22916	telephone number is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4771-4771
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4770-4770
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2")	domainEnglishFormat.kif 4769-4769
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 22952-22952	homePhoneNumber is a subrelation of telephone number
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 23018-23018	mobilePhoneNumber is a subrelation of telephone number
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 22932-22932	personalPhoneNumber is a subrelation of telephone number
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 22994-22994	workPhoneNumber is a subrelation of telephone number
(termFormat ChineseLanguage telephoneNumber "电话号码")	domainEnglishFormat.kif 57201-57201
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼")	domainEnglishFormat.kif 57200-57200
(termFormat EnglishLanguage telephoneNumber "telephone number")	domainEnglishFormat.kif 57199-57199

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 22979-22988	If an entity is an instance of human and another entity has number a third entity and the third entity is the telephone number of the entity and the other entity is located at a fourth entity and the fourth entity is an instance of residence holds during a time position, then the entity lives in the fourth entity holds during the time position
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 23032-23039	If an entity is an instance of mobile cell phone and the entity has number another entity and the other entity is the telephone number of a third entity holds during a time position, then the mobile number of the third entity is the other entity holds during the time position
(=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT))	Mid-level-ontology.kif 22923-22925	If a TelecomNumber is the telephone number of an agent, then the agent can be contacted at the TelecomNumber

consequent

(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 22939-22946	If an entity is an instance of telephone and another entity possesses the entity and the entity has number a third entity holds during a time position, then the third entity is the telephone number of the other entity holds during the time position
(=> (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 25359-25370	If an object is an instance of telephone communication and local is an attribute of the object, then there exist a TelecomNumber, another TelecomNumber,, , an agent,, , another agent and a symbolic string such that the object originates at the agent and the object ends up at the other agent and the TelecomNumber is the telephone number of the agent and the other TelecomNumber is the telephone number of the other agent and the area code in the TelecomNumber is the symbolic string and the area code in the other TelecomNumber is the symbolic string

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners