holdsDuring

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4167-4173
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23329-23343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30040-30061
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 195-201
No TPTP formula. May not be expressible in strict first order. Merge.kif 16042-16047
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7238-7245
No TPTP formula. May not be expressible in strict first order. Media.kif 1898-1902
No TPTP formula. May not be expressible in strict first order. Media.kif 1886-1890
No TPTP formula. May not be expressible in strict first order. Media.kif 1910-1914
No TPTP formula. May not be expressible in strict first order. Media.kif 1904-1908
No TPTP formula. May not be expressible in strict first order. Media.kif 1892-1896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7641-7651
No TPTP formula. May not be expressible in strict first order. Merge.kif 3755-3762
No TPTP formula. May not be expressible in strict first order. Merge.kif 17930-17936
No TPTP formula. May not be expressible in strict first order. Merge.kif 17908-17914
No TPTP formula. May not be expressible in strict first order. Economy.kif 1569-1573
No TPTP formula. May not be expressible in strict first order. Merge.kif 3808-3812
No TPTP formula. May not be expressible in strict first order. Merge.kif 14069-14076
No TPTP formula. May not be expressible in strict first order. Merge.kif 7858-7862
No TPTP formula. May not be expressible in strict first order. Economy.kif 2134-2141
No TPTP formula. May not be expressible in strict first order. Economy.kif 2178-2185

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners