equal |
appearance as argument number 1 |
![]() |
(documentation equal ChineseLanguage "假如 ?ENTITY1 等于 ?ENTITY2的话,那么 (equal ?ENTITY1 ?ENTITY2) 就是真的。") | chinese_format.kif 1391-1392 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage equal "%1 %n equal %2") | chinese_format.kif 297-297 | |
(format EnglishLanguage equal "%1 is %n equal to %2") | english_format.kif 305-305 | |
(termFormat ChineseLanguage equal "等于") | chinese_format.kif 298-298 | |
(termFormat ChineseTraditionalLanguage equal "等於") | domainEnglishFormat.kif 22317-22317 | |
(termFormat EnglishLanguage equal "equal") | domainEnglishFormat.kif 22316-22316 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 928-941 | The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string |
(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16) PoundMass))) |
Mid-level-ontology.kif 10979-10982 | For all a real number the real number Ounce(s) is equal to the real number and 16 pound mass(s) |
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1))) |
Merge.kif 4559-4560 | For all an integer (the integer+2) is equal to (the integer and 1) |
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))) |
Merge.kif 4543-4544 | For all an integer (the integer+1) is equal to (the integer and 1) |
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW))))) |
Merge.kif 2931-2934 | For all @ROW and another entity length of (@ROW and the other entity) is equal to (length of (@ROW)+1) |
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM)) |
Merge.kif 2936-2940 | For all @ROW and another entity length of (@ROW and the other entity)th element of (@ROW and the other entity) is equal to the other entity |
(not (equal BigSix GroupOf6)) |
Government.kif 2846-2846 | Big six is not equal to group of6 |
appearance as argument number 0 |
![]() |
![]() |
![]() |