BinaryPredicate(binary predicate)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 382-382 administrative center is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4023-4023 administrator is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 236-236 advertised on is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24083-24083 affiliated organization is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7457-7457 age is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3419-3419 agent name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2234-2234 agent operates in area is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 695-695 agreement adoption date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13869-13869 agreement effective date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 755-755 agreement effective during is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13894-13894 expiration date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13855-13855 agreement period is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2241-2241 agricultural product type is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2584-2584 aim of organization is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25580-25580 air temperature is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Music.kif 271-271 album artist is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Music.kif 302-302 album cover is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Music.kif 323-323 album length is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Music.kif 252-252 album release is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Music.kif 332-332 album track is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Music.kif 288-288 album type is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23153-23153 alias is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 163-163 physical amenity in all rooms is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 225-225 room policy in all rooms is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 210-210 service amenity in all rooms is an instance of binary predicate

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