TimePosition(time position) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7933-7933 | The number 2 argument of temporal part is an instance of time position |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3867-3867 | The number 2 argument of time is an instance of time position |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2703-2703 | The number 2 argument of visibility in meteorology is an instance of time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 699-699 | The number 2 argument of agreement adoption date is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 759-759 | The number 2 argument of agreement effective during is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 730-730 | The number 2 argument of agreement revision date is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2556-2556 | The number 2 argument of date dissolved is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 979-979 | The number 2 argument of date established is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3071-3071 | The number 2 argument of date opened for signature is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1737-1737 | The number 2 argument of election date planned for position is a subclass of time position |