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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TernaryPredicate

Sigma KEE - TernaryPredicate
TernaryPredicate(三元谓语)

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


(documentation TernaryPredicate ChineseLanguage "这是一个需要三个参数的 Predicate Class。") Merge.kif 3591-3591
(documentation TernaryPredicate EnglishLanguage "The Class of Predicates that require exactly three arguments.") Merge.kif 3589-3590
(subclass TernaryPredicate InheritableRelation) Merge.kif 3588-3588 三元谓语InheritableRelationsubclass
(subclass TernaryPredicate Predicate) Merge.kif 3586-3586 三元谓语谓语subclass
(subclass TernaryPredicate TernaryRelation) Merge.kif 3587-3587 三元谓语三元关系subclass

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


(format EnglishLanguage TernaryPredicate "%1 %n{doesn't} ternary predicate %2 for %3") domainEnglishFormat.kif 622-622
(instance abbreviatedDisplayTitle TernaryPredicate) Media.kif 3089-3089 abbreviatedDisplayTitle三元谓语instance
(instance achievement TernaryPredicate) ComputingBrands.kif 1549-1549 成就三元谓语instance
(instance afterTaxIncome TernaryPredicate) FinancialOntology.kif 3215-3215 afterTaxIncome三元谓语instance
(instance ageOfMajorityForProcess TernaryPredicate) Law.kif 586-586 ageOfMajorityForProcess三元谓语instance
(instance agreementRevisionDate TernaryPredicate) Government.kif 722-722 agreementRevisionDate三元谓语instance
(instance agriculturalProductTypeByRank TernaryPredicate) Economy.kif 2244-2244 agriculturalProductTypeByRank三元谓语instance
(instance alternativeTitle TernaryPredicate) Media.kif 3057-3057 alternativeTitle三元谓语instance
(instance amountDue TernaryPredicate) FinancialOntology.kif 608-608 amountDue三元谓语instance
(instance annualExpendituresOfAreaInPeriod TernaryPredicate) Economy.kif 1502-1502 annualExpendituresOfAreaInPeriod三元谓语instance
(instance annualRevenuesOfAreaInPeriod TernaryPredicate) Economy.kif 1474-1474 annualRevenuesOfAreaInPeriod三元谓语instance
(instance areaOfResponsibility TernaryPredicate) Mid-level-ontology.kif 20810-20810 所负责的地区三元谓语instance
(instance associateWithStatus TernaryPredicate) Government.kif 2381-2381 associateWithStatus三元谓语instance
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3650-3650 availableBalance三元谓语instance
(instance availableCash TernaryPredicate) FinancialOntology.kif 3670-3670 availableCash三元谓语instance
(instance averagePrecipitationForPeriod TernaryPredicate) Weather.kif 844-844 averagePrecipitationForPeriod三元谓语instance
(instance averageRainfallForPeriod TernaryPredicate) Geography.kif 1272-1272 averageRainfallForPeriod三元谓语instance
(instance averageTemperatureForPeriod TernaryPredicate) Weather.kif 596-596 averageTemperatureForPeriod三元谓语instance
(instance beforeTaxIncome TernaryPredicate) FinancialOntology.kif 3232-3232 beforeTaxIncome三元谓语instance
(instance beliefGroupPercentInRegion TernaryPredicate) People.kif 1522-1522 beliefGroupPercentInRegion三元谓语instance
(instance benchmarkPerformance TernaryPredicate) QoSontology.kif 1032-1032 benchmarkPerformance三元谓语instance
(instance between TernaryPredicate) Merge.kif 4281-4281 之间三元谓语instance
(instance bidPrice TernaryPredicate) FinancialOntology.kif 1843-1843 bidPrice三元谓语instance
(instance biochemicalAgentAntidote TernaryPredicate) WMD.kif 861-861 biochemicalAgentAntidote三元谓语instance
(instance browserID TernaryPredicate) UXExperimentalTerms.kif 905-905 browserID三元谓语instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))
Merge.kif 3593-3595


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

Show without tree


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