| appearance as argument number 1 |
|
| (documentation mobilePhoneNumber EnglishLanguage "(mobilePhoneNumber ?TelecomNumber ?Agent) means that ?TelecomNumber identifies a MobileCellPhone at which ?Agent can be contacted.") | Mid-level-ontology.kif 23019-23022 | |
| (domain mobilePhoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 23016-23016 | The number 1 argument of mobilePhoneNumber is an instance of TelecomNumber |
| (domain mobilePhoneNumber 2 Agent) | Mid-level-ontology.kif 23017-23017 | The number 2 argument of mobilePhoneNumber is an instance of agent |
| (instance mobilePhoneNumber AsymmetricRelation) | Mid-level-ontology.kif 23015-23015 | mobilePhoneNumber is an instance of asymmetric relation |
| (instance mobilePhoneNumber BinaryPredicate) | Mid-level-ontology.kif 23014-23014 | mobilePhoneNumber is an instance of binary predicate |
| (subrelation mobilePhoneNumber telephoneNumber) | Mid-level-ontology.kif 23018-23018 | mobilePhoneNumber is a subrelation of telephone number |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mobilePhoneNumber "%2 的 mobile number 是 %1 ") | domainEnglishFormat.kif 3871-3871 | |
| (format ChineseTraditionalLanguage mobilePhoneNumber "%2 的 mobile number 是 %1 ") | domainEnglishFormat.kif 3870-3870 | |
| (format EnglishLanguage mobilePhoneNumber "the mobile number of %2 is %1") | domainEnglishFormat.kif 3869-3869 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 23044-23049 |
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 23024-23029 |
|
| consequent |
|
|
| (=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 23032-23039 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners