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. |
Government.kif 3603-3605 |
A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22703-22705 |
A self connected object is a member of a collection during a time position if and only if the self connected object is a member of the collection holds during the time position |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1297-1302 |
A collection is a proper sub-collection of another collection if and only if for all a physical |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1774-1779 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 795-799 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 249-253 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 147-154 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10540-10549 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10562-10571 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 992-1008 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3229-3233 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1326-1342 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 257-264 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8387-8400 |
|
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. |
UXExperimentalTerms.kif 2887-2903 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2922-2940 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2609-2623 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2591-2605 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |