deviceTelecomNumber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - deviceTelecomNumber

deviceTelecomNumber

appearance as argument number 1

(documentation deviceTelecomNumber EnglishLanguage "(deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber.")	Mid-level-ontology.kif 26563-26566
(domain deviceTelecomNumber 1 TelecomNumber)	Mid-level-ontology.kif 26561-26561	The number 1 argument of device telecom number is an instance of telecom number
(domain deviceTelecomNumber 2 TelephonyDevice)	Mid-level-ontology.kif 26562-26562	The number 2 argument of device telecom number is an instance of telephony device
(instance deviceTelecomNumber AsymmetricRelation)	Mid-level-ontology.kif 26560-26560	device telecom number is an instance of asymmetric relation
(instance deviceTelecomNumber BinaryPredicate)	Mid-level-ontology.kif 26559-26559	device telecom number is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage deviceTelecomNumber "%2 有 number %1 ")	domainEnglishFormat.kif 3242-3242
(format ChineseTraditionalLanguage deviceTelecomNumber "%2 有 number %1 ")	domainEnglishFormat.kif 3241-3241
(format EnglishLanguage deviceTelecomNumber "%2 has number %1")	domainEnglishFormat.kif 3240-3240
(termFormat EnglishLanguage deviceTelecomNumber "device telecom number")	domainEnglishFormat.kif 65839-65839

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 26716-26725	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 FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 26839-26846	If an entity is an instance of fax machine and the entity has number another entity and a third entity possesses the entity holds during a time position, then the fax number of the third entity is the other 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 26814-26821	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 ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 26688-26695	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
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine))	Mid-level-ontology.kif 26848-26853	If an entity has number another entity and the fax number of a third entity is the other entity holds during a time position, then the entity is an instance of fax machine
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE)))	Mid-level-ontology.kif 26707-26714	If an entity has number another entity and the other entity is the home phone of a third entity and the entity is located at a fourth entity and the fourth entity is an instance of permanent residence holds during a time position, then the home of the third entity is the fourth entity holds during the time position
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE)))	Mid-level-ontology.kif 26823-26829	If an entity has number another entity and the entity is an instance of mobile cell phone and the mobile number of a third entity is the other entity holds during a time position, then the third entity possesses the entity holds during the time position
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone))	Mid-level-ontology.kif 26807-26812	If an entity has number another entity and the mobile number of a third entity is the other entity holds during a time position, then the entity is an instance of mobile cell phone

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