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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subSystem
subSystem

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


(documentation subSystem ChineseLanguage "(subSystem ?SUB ?SYSTEM) 的意思是 PhysicalSystem ?SUB 是 PhysicalSystem ?SYSTEM 的一部分。") chinese_format.kif 2387-2388
(documentation subSystem EnglishLanguage "(subSystem ?SUB ?SYSTEM) means that the PhysicalSystem ?SUB is a part of the PhysicalSystem ?SYSTEM.") Merge.kif 5817-5818
(domain subSystem 1 PhysicalSystem) Merge.kif 5814-5814 domain subSystem, 1 and PhysicalSystem
(domain subSystem 2 PhysicalSystem) Merge.kif 5815-5815 domain subSystem, 2 and PhysicalSystem
(instance subSystem BinaryPredicate) Merge.kif 5813-5813 instance subSystem and BinaryPredicate

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


(format ChineseLanguage subSystem "%2 %n 是 %1 的 sub 系统") domainEnglishFormat.kif 2395-2395
(format ChineseTraditionalLanguage subSystem "%2 %n 是 %1 的 sub 系統") domainEnglishFormat.kif 2394-2394
(format EnglishLanguage subSystem "%2 is %n a sub system of %1") domainEnglishFormat.kif 2393-2393
(termFormat ChineseLanguage subSystem "子系统") domainEnglishFormat.kif 55750-55750
(termFormat ChineseTraditionalLanguage subSystem "子系統") domainEnglishFormat.kif 55749-55749
(termFormat EnglishLanguage subSystem "sub system") domainEnglishFormat.kif 55748-55748

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


(=>
    (and
        (subSystem ?S ?T)
        (routeInSystem ?P ?S))
    (routeInSystem ?P ?T))
Transportation.kif 2725-2729
(=>
    (and
        (subSystem ?SUB ?SYSTEM)
        (systemPart ?PART ?SUB))
    (systemPart ?PART ?SYSTEM))
Merge.kif 5828-5832


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