TreeView Knowledge Base Browser - insured

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - insured

insured

appearance as argument number 1

(documentation insured EnglishLanguage "(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.")	Mid-level-ontology.kif 7166-7167
(domain insured 1 Proposition)	Mid-level-ontology.kif 7164-7164	insured の数値 1 引数は命題の instance では %n
(domain insured 2 Organization)	Mid-level-ontology.kif 7165-7165	insured の数値 2 引数は組織の instance では %n
(instance insured AsymmetricRelation)	Mid-level-ontology.kif 7163-7163	insured は非対称関係の instance では %n
(instance insured BinaryPredicate)	Mid-level-ontology.kif 7162-7162	insured は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage insured "%2 %n 是 %1 的投保")	domainEnglishFormat.kif 1353-1353
(format ChineseTraditionalLanguage insured "%2 %n 是 %1 的投保")	domainEnglishFormat.kif 1352-1352
(format EnglishLanguage insured "%2 is %n an insured of %1")	domainEnglishFormat.kif 1351-1351
(termFormat ChineseLanguage insured "投保")	domainEnglishFormat.kif 30343-30343
(termFormat ChineseTraditionalLanguage insured "投保")	domainEnglishFormat.kif 30342-30342
(termFormat EnglishLanguage insured "insured")	domainEnglishFormat.kif 30341-30341

antecedent

(=>
(insured ?PROP ?ORG)
(property ?PROP Contract))

Mid-level-ontology.kif 7169-7171

insured 命題 and 組織
命題には attribute Contract %n{ない}

consequent

(=> (instance ?I InsuranceCompany) (exists (?C) (insured ?C ?I)))	Mid-level-ontology.kif 7177-7180	組織は InsuranceCompany の instance では %n 命題 insured 命題 and 組織
(=> (instance ?Loan FHALoan) (insured ?Loan FederalHousingAdministration))	FinancialOntology.kif 1539-1541	命題は FHALoan の instance では %n insured 命題 and FederalHousingAdministration
(=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government)))))	FinancialOntology.kif 1556-1561	命題は ConventionalMortgage の instance では %n 組織組織は政府の instance では %n insured 命題 and 組織

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 3.0 is open source software produced by Articulate Software and its partners