| appearance as argument number 1 |
|
| (documentation hasAcrossVariable EnglishLanguage "multipole pole has across variable") | engineering.kif 401-401 | |
| (domain hasAcrossVariable 1 MultipolePole) | engineering.kif 405-405 | 域 跨變量, 1 and 多極桿 |
| (domain hasAcrossVariable 2 MultipoleVariable) | engineering.kif 406-406 | 域 跨變量, 2 and 多極變量 |
| (instance hasAcrossVariable AsymmetricRelation) | engineering.kif 403-403 | 例 跨變量 and AsymmetricRelation |
| (instance hasAcrossVariable BinaryPredicate) | engineering.kif 402-402 | 例 跨變量 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage hasAcrossVariable "%1 has %n %2 as an across variable") | engineering.kif 404-404 | |
| (termFormat ChineseLanguage hasAcrossVariable "跨变量") | domainEnglishFormat.kif 27504-27504 | |
| (termFormat ChineseTraditionalLanguage hasAcrossVariable "跨變量") | domainEnglishFormat.kif 27503-27503 | |
| (termFormat EnglishLanguage hasAcrossVariable "has across variable") | domainEnglishFormat.kif 27502-27502 |
| antecedent |
|
|
| (=> (and (hasAcrossVariable ?POLE ?ACROSS) (hasThroughVariable ?POLE ?THROUGH) (hasVariable ?QACROSS ?ACROSS) (hasVariable ?QTHROUGH ?THROUGH) (hasDimension ?QACROSS ?DACROSS) (hasDimension ?QTHROUGH ?DTHROUGH)) (exists (?DOMAIN) (physicalDomain ?DACROSS ?DTHROUGH ?DOMAIN))) |
engineering.kif 415-424 |
|
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