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 6131-6132
(documentation subSystem JapaneseLanguage "(subSystem ?SUB ?SYSTEM) とは、PhysicalSystem ?SUB が PhysicalSystem ?SYSTEM の一部である、という意味である。") japanese_format.kif 1067-1068
(domain subSystem 1 PhysicalSystem) Merge.kif 6128-6128
(domain subSystem 2 PhysicalSystem) Merge.kif 6129-6129
(instance subSystem BinaryPredicate) Merge.kif 6127-6127

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


(format ChineseLanguage subSystem "%2 %n 是 %1 的 sub 系统") domainEnglishFormat.kif 2399-2399
(format ChineseTraditionalLanguage subSystem "%2 %n 是 %1 的 sub 系統") domainEnglishFormat.kif 2398-2398
(format EnglishLanguage subSystem "%2 is %n a sub system of %1") domainEnglishFormat.kif 2397-2397
(termFormat ChineseLanguage subSystem "子系统") domainEnglishFormat.kif 55836-55836
(termFormat ChineseTraditionalLanguage subSystem "子系統") domainEnglishFormat.kif 55835-55835
(termFormat EnglishLanguage subSystem "sub system") domainEnglishFormat.kif 55834-55834

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


(=>
    (and
        (subSystem ?S ?T)
        (routeInSystem ?P ?S))
    (routeInSystem ?P ?T))
Transportation.kif 2747-2751
(=>
    (and
        (subSystem ?SUB ?SYSTEM)
        (systemPart ?PART ?SUB))
    (systemPart ?PART ?SYSTEM))
Merge.kif 6142-6146


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