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 22945-22946
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 22943-22943	The number 1 argument of telephone number is an instance of TelecomNumber
(domain telephoneNumber 2 Agent)	Mid-level-ontology.kif 22944-22944	The number 2 argument of telephone number is an instance of agent
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 22942-22942	telephone number is an instance of asymmetric relation
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 22941-22941	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 22977-22977	homePhoneNumber is a subrelation of telephone number
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 23043-23043	mobilePhoneNumber is a subrelation of telephone number
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 22957-22957	personalPhoneNumber is a subrelation of telephone number
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 23019-23019	workPhoneNumber is a subrelation of telephone number
(termFormat ChineseLanguage telephoneNumber "电话号码")	domainEnglishFormat.kif 57222-57222
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼")	domainEnglishFormat.kif 57221-57221
(termFormat EnglishLanguage telephoneNumber "telephone number")	domainEnglishFormat.kif 57220-57220

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 23004-23013	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 23057-23064	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 22948-22950	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 22964-22971	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 25384-25395	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 3.0 is open source software produced by Articulate Software and its partners