No TPTP formula. May not be expressible in strict first order. |
People.kif 383-416 |
A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list |
No TPTP formula. May not be expressible in strict first order. |
People.kif 429-462 |
A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1400-1404 |
Queen is an attribute of an object if and only if Queen regnant is an attribute of the object or Queen consort is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
People.kif 232-249 |
The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17105-17113 |
An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19975-19979 |
An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19966-19970 |
An object is an instance of calf if and only if the object is an instance of cow and non fully formed is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19984-19988 |
An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30010-30014 |
An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19998-20002 |
An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8939-8943 |
An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19952-19956 |
An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20007-20011 |
An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2768-2770 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16695-16704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20542-20549 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18619-18625 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12385-12395 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17183-17196 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17530-17539 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 286-297 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19225-19235 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4038-4055 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25596-25605 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |