TernaryPredicate(ternary predicate) |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 984-984 | average temperature for period is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3344-3344 | before tax income is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | People.kif 1524-1524 | belief group percent in region is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1037-1037 | benchmark performance is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4151-4151 | between is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1905-1905 | bid price is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 912-912 | biochemical agent antidote is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10702-10702 | body angle is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10376-10376 | breathingRate is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 722-722 | browser identifier string is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4089-4089 | buying power amount is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29950-29950 | buys is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1837-1837 | candidate for position is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24576-24576 | canonical place name is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3901-3901 | capability is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 780-780 | capacity by arrangement is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1526-1526 | capital expenditures of area in period is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4732-4732 | chancery address in area is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4763-4763 | chanceryFAX number in area is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4742-4742 | chancery mailing address in area is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4753-4753 | chancery telephone number in area is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1551-1551 | chief of state is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 818-818 | chromosome set count is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16808-16808 | classmate is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3469-3469 | closing price is an instance of ternary predicate |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |