TreeView Knowledge Base Browser - deviceTelecomNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

deviceTelecomNumber

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 24882-24885
(domain deviceTelecomNumber 1 TelecomNumber)	Mid-level-ontology.kif 24880-24880	Die Zahl 1 Argument von deviceTelecomNumber ist ein fall von TelecomNumber %n{nicht}
(domain deviceTelecomNumber 2 TelephonyDevice)	Mid-level-ontology.kif 24881-24881	Die Zahl 2 Argument von deviceTelecomNumber ist ein fall von TelephonyDevice %n{nicht}
(instance deviceTelecomNumber AsymmetricRelation)	Mid-level-ontology.kif 24879-24879	deviceTelecomNumber ist ein fall von AsymmetricRelation %n{nicht}
(instance deviceTelecomNumber BinaryPredicate)	Mid-level-ontology.kif 24878-24878	deviceTelecomNumber ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage deviceTelecomNumber "%2 有 number %1 ")	domainEnglishFormat.kif 3246-3246
(format ChineseTraditionalLanguage deviceTelecomNumber "%2 有 number %1 ")	domainEnglishFormat.kif 3245-3245
(format EnglishLanguage deviceTelecomNumber "%2 has number %1")	domainEnglishFormat.kif 3244-3244
(termFormat EnglishLanguage deviceTelecomNumber "device telecom number")	domainEnglishFormat.kif 65810-65810

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 25035-25044	Wenn Entity ist ein fall von Human %n{nicht} und deviceTelecomNumber entity and entity und telephoneNumber entity and Entity und entity befindet sich an %n{nicht} und entity ist ein fall von Residence %n{nicht} haelt waehrend TimePosition %n{nicht}, dann Entity wohnt in entity haelt waehrend TimePosition %n{nicht}
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25158-25165	Wenn Entity ist ein fall von FaxMachine %n{nicht} und deviceTelecomNumber entity and Entity und entity besitzt Entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann faxNumber entity and entity haelt waehrend ** TimePosition %n{nicht}
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25133-25140	Wenn Entity ist ein fall von MobileCellPhone %n{nicht} und deviceTelecomNumber entity and Entity und telephoneNumber entity and entity haelt waehrend TimePosition %n{nicht}, dann mobilePhoneNumber entity and entity haelt waehrend TimePosition %n{nicht}
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25007-25014	Wenn Entity ist ein fall von Telephone %n{nicht} und entity besitzt Entity %n{nicht} und deviceTelecomNumber entity and Entity haelt waehrend TimePosition %n{nicht}, dann telephoneNumber entity and entity haelt waehrend ** TimePosition %n{nicht}
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine))	Mid-level-ontology.kif 25167-25172	Wenn deviceTelecomNumber entity and Entity und faxNumber entity and entity haelt waehrend TimePosition %n{nicht}, dann ** Entity ist ein fall von FaxMachine %n{nicht}
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE)))	Mid-level-ontology.kif 25026-25033	Wenn deviceTelecomNumber entity and entity und homePhoneNumber entity and entity und entity befindet sich an %n{nicht} und entity ist ein fall von PermanentResidence %n{nicht} haelt waehrend TimePosition %n{nicht}, dann home entity and entity haelt waehrend ** TimePosition %n{nicht}
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE)))	Mid-level-ontology.kif 25142-25148	Wenn deviceTelecomNumber entity and entity und entity ist ein fall von MobileCellPhone %n{nicht} und mobilePhoneNumber entity and entity haelt waehrend TimePosition %n{nicht}, dann entity besitzt entity %n{nicht} haelt waehrend TimePosition %n{nicht}
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone))	Mid-level-ontology.kif 25126-25131	Wenn deviceTelecomNumber entity and Entity und mobilePhoneNumber entity and entity haelt waehrend TimePosition %n{nicht}, dann ** Entity ist ein fall von MobileCellPhone %n{nicht}

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