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 ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted")	Mid-level-ontology.kif 25276-25277
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 25274-25274	The number 1 argument of telephone number is an instance of telecom number
(domain telephoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 25275-25275	The number 2 argument of telephone number is an instance of agent
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 25273-25273	telephone number is an instance of asymmetric relation
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 25272-25272	telephone number is an instance of binary predicate

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 25308-25308	home phone number is a subrelation of telephone number
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25408-25408	mobile phone number is a subrelation of telephone number
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25288-25288	personal phone number is a subrelation of telephone number
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25338-25338	work phone number is a subrelation of telephone number
(termFormat ChineseLanguage telephoneNumber "电话号码")	domainEnglishFormat.kif 57362-57362	work phone number is a subrelation of telephone number
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼")	domainEnglishFormat.kif 57361-57361	work phone number is a subrelation of telephone number
(termFormat EnglishLanguage telephoneNumber "telephone number")	domainEnglishFormat.kif 57360-57360	work phone number is a subrelation of telephone number

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 25323-25332	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 25421-25428	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
(=> (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 25381-25402	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
(=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT))	Mid-level-ontology.kif 25279-25281	If a telecom number is the telephone number of an agent, then the agent can be contacted at the telecom number

consequent

(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25295-25302	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 27371-27382	If an object is an instance of telephone communication and local is an attribute of the object, then there exist a telecom number, another telecom number,, , 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 telecom number is the telephone number of the agent and the other telecom number is the telephone number of the other agent and the area code in the telecom number is the symbolic string and the area code in the other telecom number 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