| 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 24231-24234 | |
| (domain deviceTelecomNumber 1 TelecomNumber) | Mid-level-ontology.kif 24229-24229 | |
| (domain deviceTelecomNumber 2 TelephonyDevice) | Mid-level-ontology.kif 24230-24230 | |
| (instance deviceTelecomNumber AsymmetricRelation) | Mid-level-ontology.kif 24228-24228 | |
| (instance deviceTelecomNumber BinaryPredicate) | Mid-level-ontology.kif 24227-24227 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage deviceTelecomNumber "%2 有 number %1 ") | domainEnglishFormat.kif 3251-3251 | |
| (format ChineseTraditionalLanguage deviceTelecomNumber "%2 有 number %1 ") | domainEnglishFormat.kif 3250-3250 | |
| (format EnglishLanguage deviceTelecomNumber "%2 has number %1") | domainEnglishFormat.kif 3249-3249 |
| 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 24384-24393 | |
| (=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 24490-24497 | |
| (=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 24465-24472 | |
| (=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 24356-24363 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 24499-24504 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 24375-24382 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 24474-24480 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 24458-24463 |
|
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