| appearance as argument number 1 |
|
| (documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted.") | Mid-level-ontology.kif 25153-25155 | |
| (domain faxNumber 1 TelecomNumber) | Mid-level-ontology.kif 25151-25151 | 域 faxNumber, 1 and TelecomNumber |
| (domain faxNumber 2 AutonomousAgent) | Mid-level-ontology.kif 25152-25152 | 域 faxNumber, 2 and AutonomousAgent |
| (instance faxNumber AsymmetricRelation) | Mid-level-ontology.kif 25150-25150 | 例 faxNumber and AsymmetricRelation |
| (instance faxNumber BinaryPredicate) | Mid-level-ontology.kif 25149-25149 | 例 faxNumber and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3426-3426 | |
| (format ChineseTraditionalLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3425-3425 | |
| (format EnglishLanguage faxNumber "the fax number of %2 is %1") | domainEnglishFormat.kif 3424-3424 | |
| (termFormat EnglishLanguage faxNumber "fax number") | domainEnglishFormat.kif 65827-65827 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 25166-25171 |
| consequent |
|
|
| (=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25157-25164 |
|
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