Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryPredicate
TernaryPredicate(ternary predicate)مَحْمُول ثُلاثِي, Predicado_Ternario, PredicatoTernario, pr�dicat_ternaire, tatlong_panaguri, ternary_predicate, triangii_lakshana, 三元谓语

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3568-3568
No TPTP formula. May not be expressible in strict first order. Merge.kif 3566-3567
No TPTP formula. May not be expressible in strict first order. Merge.kif 3565-3565 Ternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3563-3563 Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3564-3564 Ternary predicate is a subclass of ternary relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 622-622
No TPTP formula. May not be expressible in strict first order. Media.kif 3068-3068 abbreviatedDisplayTitle is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3215-3215 after tax income is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Law.kif 586-586 age of majority for process is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 722-722 agreement revision date is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Society.kif 965-965 agriculturalArtifactTypeByRank is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 2244-2244 agricultural product type by rank is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3036-3036 alternativeTitle is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 608-608 amount due is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 1502-1502 annual expenditures of area in period is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 1474-1474 annual revenues of area in period is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20418-20418 area of responsibility is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2381-2381 associate with status is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3650-3650 available balance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3670-3670 available cash is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Weather.kif 844-844 average precipitation for period is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Geography.kif 1272-1272 average rainfall for period is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Weather.kif 596-596 average temperature for period is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 373-373 basedIn is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3232-3232 before tax income is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. People.kif 1522-1522 beliefGroupPercentInRegion is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1033-1033 benchmark performance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4250-4250 between is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1843-1843 bid price is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. WMD.kif 861-861 biochemical agent antidote is an instance of ternary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3570-3572


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners