half |
appearance as argument number 1 |
![]() |
(documentation half EnglishLanguage "(half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.") | Mid-level-ontology.kif 14507-14508 | |
(domain half 1 Object) | Mid-level-ontology.kif 14504-14504 | The number 1 argument of half is an instance of object |
(domain half 2 Object) | Mid-level-ontology.kif 14505-14505 | The number 2 argument of half is an instance of object |
(instance half BinaryPredicate) | Mid-level-ontology.kif 14506-14506 | half is an instance of binary predicate |
(subrelation half part) | Mid-level-ontology.kif 14503-14503 | half is a subrelation of part |
appearance as argument number 2 |
![]() |
(format ChineseLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3592-3592 | |
(format ChineseTraditionalLanguage half "%1 是 %2 的 half ") | domainEnglishFormat.kif 3591-3591 | |
(format EnglishLanguage half "%1 is half of %2") | domainEnglishFormat.kif 3590-3590 | |
(termFormat ChineseLanguage half "半") | domainEnglishFormat.kif 27269-27269 | |
(termFormat ChineseTraditionalLanguage half "半") | domainEnglishFormat.kif 27268-27268 | |
(termFormat EnglishLanguage half "half") | domainEnglishFormat.kif 27267-27267 |
antecedent |
![]() |
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 14510-14516 |
|
consequent |
![]() |
![]() |
![]() |