No TPTP formula. May not be expressible in strict first order. |
People.kif 1529-1540 |
A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the belief group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1548-1559 |
A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the ethnic group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1567-1578 |
A real number percent of people in a geographic area speak a language if and only if there exist a collection, another collection,, , a sentient agent,, , the sentient agent2,, , the real number1 and the real number2 such that the sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2 |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 709-717 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 800-809 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7212-7232 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23356-23370 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1485-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3971-3976 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 839-849 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2061-2072 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 193-212 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 479-490 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2894-2903 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2914-2925 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2875-2884 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 732-742 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2936-2951 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32894-32909 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32836-32846 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32861-32876 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11717-11729 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 794-804 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3177-3194 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6792-6816 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |