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 26641-26642
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 26639-26639	The number 1 argument of telephoneNumber is an instance of TelecomNumber
(domain telephoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 26640-26640	The number 2 argument of telephoneNumber is an instance of agent
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 26638-26638	telephoneNumber is an instance of asymmetric relation
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 26637-26637	telephoneNumber is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4770-4770
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4769-4769
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2")	domainEnglishFormat.kif 4768-4768
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 26673-26673	homePhoneNumber is a subrelation of telephoneNumber
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 26773-26773	mobilePhoneNumber is a subrelation of telephoneNumber
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 26653-26653	personalPhoneNumber is a subrelation of telephoneNumber
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 26703-26703	workPhoneNumber is a subrelation of telephoneNumber
(termFormat ChineseLanguage telephoneNumber "电话号码")	domainEnglishFormat.kif 57325-57325	workPhoneNumber is a subrelation of telephoneNumber
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼")	domainEnglishFormat.kif 57324-57324	workPhoneNumber is a subrelation of telephoneNumber
(termFormat EnglishLanguage telephoneNumber "telephone number")	domainEnglishFormat.kif 57323-57323	workPhoneNumber is a subrelation of telephoneNumber

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 26688-26697	If an entity is an instance of human and deviceTelecomNumber another entity and a third entity and telephoneNumber the other entity and the entity and the third 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 26786-26793	If an entity is an instance of MobileCellPhone and deviceTelecomNumber another entity and the entity and telephoneNumber the other entity and a third entity holds during a time position, then mobilePhoneNumber the other entity and the third 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 26746-26767	If a TelecomNumber is an instance of Hotline and telephoneNumber the TelecomNumber and an agent and the agent is an instance of organization, then the TelecomNumber 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 TelecomNumber is an instrument for the other entity and equal the beginning of the time of existence of the other entity and 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 26644-26646	If telephoneNumber a TelecomNumber and an agent, then siteForContact the TelecomNumber and the agent

consequent

(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 26660-26667	If an entity is an instance of Telephone and another entity possesses the entity and deviceTelecomNumber a third entity and the entity holds during a time position, then telephoneNumber the third entity and 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 28992-29003	If an object is an instance of TelephoneCommunication 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 telephoneNumber the TelecomNumber and the agent and telephoneNumber the other TelecomNumber and the other agent and telecomAreaCode the symbolic string and the TelecomNumber and telecomAreaCode the symbolic string and the other 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