No TPTP formula. May not be expressible in strict first order. |
People.kif 1528-1539 |
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 1547-1558 |
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 1566-1577 |
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 703-711 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 794-803 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7142-7162 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1772-1786 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1450-1456 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3528-3533 |
|
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 2883-2892 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2903-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2864-2873 |
|
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 2925-2940 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30898-30908 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10386-10398 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 790-800 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3117-3133 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10345-10357 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1125-1138 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1972-1983 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 78-88 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |