| 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 26546-26549 | |
| (domain deviceTelecomNumber 1 TelecomNumber) | Mid-level-ontology.kif 26544-26544 | deviceTelecomNumber の数値 1 引数は TelecomNumber の instance では |
| (domain deviceTelecomNumber 2 TelephonyDevice) | Mid-level-ontology.kif 26545-26545 | deviceTelecomNumber の数値 2 引数は TelephonyDevice の instance では |
| (instance deviceTelecomNumber AsymmetricRelation) | Mid-level-ontology.kif 26543-26543 | deviceTelecomNumber は 非対称関係 の instance では |
| (instance deviceTelecomNumber BinaryPredicate) | Mid-level-ontology.kif 26542-26542 | deviceTelecomNumber は 2進述語 の instance では |
| 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 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 26699-26708 | |
| (=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26822-26829 | |
| (=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26797-26804 |
|
| (=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26671-26678 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 26831-26836 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 26690-26697 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 26806-26812 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 26790-26795 |
|
|
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